programming correctness proof
[网络] 程序正确性证明
热门查询
- ectomorph n. [心理] 外胚层体型者；[人类] 瘦型体质者
- Folkestone 福克斯通(英国肯特郡东部港市)
- superstar n. 超级明星，巨星；超级星体
- entity n. 实体；存在；本质
- precariousness n. 不安全；不稳定
- month n. 月，一个月的时间
- ling n. 鳕鱼；石南之一种；一种似雪鱼的食用鱼 n. (Ling)人名；(英、德)林；(俄、瑞典)林格
- free adj. 免费的；自由的，不受约束的；[化学] 游离的 vt. 使自由，解放；释放 adv. 自由地；免费 n. (Free)人名；(英)弗里
- vile adj. 卑鄙的；邪恶的；低廉的；肮脏的 n. (Vile)人名；(英)瓦伊尔；(芬)维莱
- unsettling adj. 使人不安的；（消息）扰乱的 v. 动乱不定；心绪不宁（unsettle的ing形式）
- color n. 颜色；肤色；颜料；脸色 vt. 粉饰；给...涂颜色；歪曲 vi. 变色；获得颜色
- lucifer n. 撒旦；金星
- punctually adv. 准时地，如期地
- recopy vt. 再抄写；再复制
- Melanesia n. 美拉尼西亚（西南太平洋群岛）
- boatmen n. 船夫；出租船的人 n. (Boatman)人名；(英)博特曼
- idiosyncrasy n. （个人独有的）气质，性格，习惯，癖好
- approver n. 批准者；承认者，赞成者
- shirty adj. 发怒的；心情坏的
- fees n. [会计] 费用（fee的复数）；规费 n. (Fees)人名；(德、法)费斯
